formal logic inference
形式逻辑推理
热门查询
- discipleship n. 门徒的身分，做门徒的时期
- devalue vt. 使贬值；降低…的价值 vi. 贬值
- interviewed v. 面试；接见；会见（interview的过去式）
- useable adj. 可用的；便于使用的（等于usable）
- Mr. n. 先生
- undignified adj. 不庄重的；无威严的
- novelistic adj. 小说的
- Herschel n. 赫歇尔（十九世纪的天文学家）；天王星
- keeping n. 保管；一致；协调；遵守 v. 保持；遵守（keep的ing形式）
- trey n. 三点的牌；刻有三点的一面
- Magellanic adj. 麦哲伦的，麦哲伦海峡的；以麦哲伦命名的
- lubricated adj. 润滑的；喝醉了的 v. 给…注润滑油；使…平滑；对…有帮助（lubricate的过去分词）
- extrasensory adj. 超感官的，超感觉的
- guessing v. 猜测；推测；认为（guess的现在分词）
- millibar n. 毫巴
- Eurocrat n. 欧洲共同市场的官员或职员；欧洲经济共同体的官员
- boudin n. [地质] 石香肠；猪血香肠；串肠构造体 n. (Boudin)人名；(法)布丹；(意、英)布丁
- aide n. 助手；副官；侍从武官 n. (Aide)人名；(葡)艾德
- seaport n. 海港；港口都市
- measurement n. 测量；[计量] 度量；尺寸；量度制
考试词汇表
- transfer counter
- transfer current
- transfer devices
- transfer earning
- transfer element
- transfer ellipse
- transfer factors
- transfer forming
- transfer gearbox
- transfer hohmann
- transfer in cash
- transfer in cost
- transfer in kind
- transfer machine
- transfer mandrel
- transfer mapping
- transfer message
- transfer methods
- transfer mo(u)ld
- transfer molding
